" Jean-Pierre Jouannaud" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Rewriting Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science)

Hubert Comon-Lundh, Claude Kirchner, Helene Kirchner

Категория: Компьютеры

2.95 Mb

#2

Certified Programs and Proofs - CPP 2011

Jean-Pierre Jouannaud, Zhong Shao

4.17 Mb

#3

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer

8.02 Mb

#4

Conditional term rewriting systems Proc. Orsay

Stephane Kaplan, Jean-Pierre Jouannaud

Категория: Computer science, Computer algebra

2.58 Mb

#5

Rewriting Techniques and Applications, 1 conf., RTA-85

Jean-Pierre Jouannaud

Категория: Cs_Computer science, CsLn_Lecture notes

3.59 Mb

#6

TAPSOFT'93: Theory and Practice of Software Development

Marie-Claude Gaudel, Jean-Pierre Jouannaud

Категория: Cs_Computer science, CsLn_Lecture notes

7.34 Mb

#7

Algebra, meaning and computation. Essays dedicated to J.A. Goguen

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer

5.22 Mb

#8

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer

6.57 Mb

#9

Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings

Jean-Pierre Jouannaud

3.50 Mb

#10

Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course

Hubert Comon, Jean-Pierre Jouannaud

1.95 Mb